properties of inverse trigonometric function